Bad semidefinite programs: they all look the same

Conic linear programs, among them semidefinite programs, often behave pathologically: the optimal values of the primal and dual programs may differ, and may not be attained. We present a novel analysis of these pathological behaviors. We call a conic linear system $Ax <= b$ {\em badly behaved} if the value of $\sup { | A x <= b }$ is finite but the dual program has no solution with the same value for {\em some} $c.$ We describe simple and intuitive geometric characterizations of badly behaved conic linear systems. Our main motivation is the striking similarity of badly behaved semidefinite systems in the literature; we characterize such systems by certain {\em excluded matrices}, which are easy to spot in all published examples. We show how to transform semidefinite systems into a canonical form, which allows us to easily verify whether they are badly behaved. We prove several other structural results about badly behaved semidefinite systems; for example, we show that they are in $NP \cap co-NP$ in the real number model of computing. As a byproduct, we prove that all linear maps that act on symmetric matrices can be brought into a canonical form; this canonical form allows us to easily check whether the image of the semidefinite cone under the given linear map is closed.Comment: For some reason, the intended changes between versions 4 and 5 did not take effect, so versions 4 and 5 are the same. So version 6 is the final version. The only difference between version 4 and version 6 is that 2 typos were fixed: in the last displayed formula on page 6, "7" was replaced by "1"; and in the 4th displayed formula on page 12 "A_1 - A_2 - A_3" was replaced by "A_3 - A_2 - A_1

A 19–20. századi művészet története Magyarországon = Art history in the 19–20th Century in Hungary

A kutatás során a 19. századi magyar művészet új kutatási eredményekre alapuló általános áttekintése megtörtént. Az egyes periódusok és műfajok szisztematikus és arányos feltárása és szöveges összefoglalását elvégeztük, éspedig olyan formában, hogy egyrészt támaszkodtunk a korábbi publikációkban közreadott eredményekre, másrészt integráltuk ezeket a pályázati munka során kikutatott új eredményekkel. (Sajnos a festészeti témájú kutatás a projekt egyik vezérszemélyiségének számító kolléga krónikus betegsége miatt csak részben történhetett meg.) A szöveges kutatási anyag mellett felállítottunk egy kb. 600 egységből álló, a tematikát szorosan követő digitális képarchívumot. A kutatás témaköréből megjelentettünk tanulmányokat, másrészt az összeállított szöveges és képi anyag – a megfelelő kiegészítésekkel – alapját képezi egy nagyobb, később publikálásra kerülő szintézisnek is. | In the course of the research work the general survey of 19th-century Hungarian art has been completed. We have accomplished the systematic and proportional investigation and textual summation of the specific periods and genres in such a way that we have integrated the results of earlier publications and the new results of the research implemented within the framework the current project. (Unfortunately, due to the chronic illness of one of the principal participants of the team, research into the painting of the period has only been partially completed.) Beside the textual research material we have set up a digital pictoral archive of some 600 units, which are in harmony with the themes of the project. Studies have been published on the subject of the project, and the text and pictures compiled (with the necessary additions) can form the basis of a general synthesis to be published in the future

Rendszermodellezés és részvétel: egy magyar kísérlet tanulságai

A részvétel kérdése nem csupán egy absztrakt társadalom- vagy politikaelméleti probléma, hiszen a részvételi folyamatok tervezésénél és lebonyolításánál nagyon is gyakorlati szempontok kerülnek előtérbe. Kit vonjunk be, hogyan, milyen módon történjen ez a bevonás, és ennek milyen hatása lesz rövid és hosszú távon – ezek olyan kérdések, amelyeket egy folyamat tervezésénél és a módszer kiválasztásánál figyelembe kell venni. Az utóbbi években egy új típusú részvételi megközelítés jelent meg a társadalomtudományok módszertani eszköztárában, amelyben a résztvevők közösen komplex oksági modelleket dolgoznak ki egy adott témában, és ez alapján fogalmaznak meg javaslatokat. A tanulmány a megközelítés hazai adaptációjának kísérletét és annak módszertani tanulságait mutatja be a részvétel szempontjából

Adatbányászati alkalmazások lehetőségei egy multinacionális vállalat magyarországi leányvállalatának információs rendszerében (Opportunities of datamining applications in the information system of a multinational company’s Hungarian subsidiary)

A tanulmány Magyarország egyik legnagyobb foglalkoztatójának megrendelésére készült abból a célból, hogy milyen megoldásokkal lehetne a vállalati működést hatékonyabbá tenni. Ennek keretében a szerzők megvizsgálták, hol tart ma a HR adatbányászati kutatás a világban. Milyen eszközök állnak rendelkezésre ahhoz, hogy a munkavállalói elmenetelt előre jelezzék, illetve figyeljék, valamint milyen lehetőség van a hálózati kutatások felhasználására a biztonság területén. Szerencsés, hogy a vállalkozói kérdések és erőforrások találkozhattak a kutatói szféra aktuális kutatási területeivel. A tanulmány szerzői úgy gondolják, hogy a cikkben megfogalmazott állítások, következtetések, eredmények a jövőben hasznosíthatók lesznek a vállalat és más cégek számára is. _____ The authors were pleased to take part in this research project initiated by one of Hungary’s largest employer. The goal of the project was to work out BI solutions to improve upon their business process. In the framework of the project first the authors made a survey on the current trends in the world of HR datamining. They reviewed the available tools for the prediction of employee promotion and investigated the question on how to utilize results achieved in social network analysis in the field of enterprise security. When real business problems and resources meet the mainstream research of the scientific community it is always a fortunate and it is rather fruitful. The authors are certain that the results published in this document will be beneficial for Foxconn in the near future. Of course, they are not done. There are continually new research perspectives opening up and huge amount of information is accumulating in the enterprises just waiting for getting discovered and analysed. Also the environment in which an enterprise operates is dynamically changing and thus the company faces new challenges and new type of business problems arise. The authors are in the hope that their research experience will help decision makers also in the future to solve real world business problems

Rendszermodellezés mérési adatokból, hibrid-neurális megközelítés = System modelling from measurement data: hybrid-neural approach

A kutatás célja mérési adatok alapján történő rendszermodellezési eljárások kidolgozása és vizsgálata volt, különös tekintettel a nemlineáris rendszerek modellezésére. A kutatás során többféle megközelítést alkalmaztunk: egyrészt a rendszermodellezési feladatok megoldásánál a lineáris rendszerekre kidolgozott eljárásokból indultunk ki nemlineáris hatásokat is figyelembe véve, másrészt fekete doboz megközelítéseket alkalmaztunk, ahol elsődlegesen input-output adatokból történik a modell konstrukció. Az előbbi megközelítés különösen gyengén nemlineáris rendszerek modellezésénél tűnik járható útnak, ahol a gyengén nemlineáris rendszereket, mint nemlineárisan torzított lineáris rendszereket tekintjük. A nemlineáris torzítások hatásának megértésére egy teljes elméletet dolgoztunk ki. A fekete doboz modellezésnél általános modell-struktúrákból indulunk ki, melyek paramétereit a rendelkezésre álló mérési adatok felhasználásával, tanulással határozhatjuk meg. Ekkor az alapvető kérdések a megfelelő kiinduló adatbázis kialakítására és az adatokkal kapcsolatos problémákra (zajos adatok, kiugró adatok, inkonzisztens adatok, redundáns adatok, stb.) irányultak, továbbá arra hogy hogyan lehet a fekete doboz modellstruktúra komplexitását kézben tartani és az adatokon túl meglévő egyéb információ hatékony figyelembevételét biztosítani. A fekete doboz modellezésnél neuronhálókat és szupport vektor gépeket vettünk figyelembe és a minél kisebb modell-komplexitás elérésére törekedtünk. | The goal of the research was to develop and analyse system modelling procedures, especially for modelling non-linear systems. To reach the goal different approaches were applied. One approach is to use procedures developed for linear system modelling, where nonlinear effects are taken into consideration. The other approach applied is black box modelling, where model-construction is mainly based on input-output data. The first approach proved to be successful especially for the modelling of weakly non-linear systems, where these systems are considered as linear ones with the presence of nonlinear distortion. To understand nonlinear distortions a whole theory has been developed. For black box modelling the starting point was the use of certain general model-structures, where the parameters of these structures are determined by training using measurement data. The most relevant questions in this case are related to the construction of data base, and the problems of quality of the available data (noisy data, missing data, outliers, inconsistent data, redundant data, etc.), A further important goal was to find proper ways to utilise additional knowledge and at the same time to reduce model complexity. For black box modelling some special neural network architectures and support vector machines were considered

Clang matchers for verified usage of the C++ Standard Template Library

The C++ Standard Template Library (STL) is the exemplar of generic libraries. Professional C++ programs cannot miss the usage of this standard library because it increases quality, maintainability, understandability and efficacy of the code. However, the usage of C++ STL does not guarantee error-free code. Contrarily, incorrect application of the library may intro- duce new types of problems. Unfortunately, there is still a large number of properties are tested neither at compilation-time nor at run-time. It is not surprising that in implementation of C++ programs so many STL-related bugs are occurred. We match patterns on abstract syntax trees (AST) with the help of predicates. The predicates can be combined and define an embedded language. We have developed a tool which finds the potential missuses of the STL as a validation of our approach. The software takes advantage of the Clang ASTMatcher technology. The tool is in-use in Ericsson. We advise new matchers that have get into the Clang code base. Keywords: C++ STL, generic programming, Clang, AST, static analysis, code validatio